operational semantics การใช้

• The operational semantics is widely cited in later research on Haskell.
• CSP has been imbued with several different algebraic semantics, and operational semantics.
• Abstract data types can be specified in terms of their operational semantics on an abstract machine.
• The mathematical techniques used include denotational semantics, axiomatic semantics, operational semantics, and abstract interpretation.
• The language is formally defined using a structured operational semantics in the style invented by Gordon Plotkin.
• Methods have been proposed to use the operational semantics of machine languages to automatically generate verification condition generators.
• His research interests further extend in the fields of the structured operational semantics, and IT Portfolio Management.
• ALF's operational semantics is based on the resolution rule to solve literals and narrowing to evaluate functional expressions.
• The description published by Landin was fairly abstract, and left many implementation choices open ( like an operational semantics ).
• These properties make small-step semantics more convenient when proving type soundness of a type system against an operational semantics.
• Today's textbooks on this topic tend to follow this organization, employing operational semantics and type theory instead of interpreters.
• This is in contrast to the typical case when extending denotational or operational semantics, which may require reformulation of the entire description.
• The CSP " M " dialect of CSP possesses a formally defined operational semantics, which includes an embedded functional programming language.
• The operational semantics of ISWIM are defined using Landin's SECD machine and use call-by-value, that is eager evaluation.
• Term graphs are a prominent topic in programming language research since term graph rewriting rules are capable of formally expressing a compiler's operational semantics.
• In 1994, Andrew Wright and Matthias Felleisen formulated what is now the standard definition and proof technique for type safety in languages defined by operational semantics.
• For the first few years of development, the CAL source language itself was not a primary motivator, but the operational semantics were of primary concern.
• Following Hewitt, Bishop, and Steiger's 1973 publication, Irene Greif developed an operational semantics for the actor model as part of her doctoral research.
• Models for computer programs or VLSI logic designs can be very easily simulated, as they often have an operational semantics which can be used directly for simulation.
• Defining a computer language is usually done in relation to an abstract machine ( so-called operational semantics ) or as a mathematical function ( denotational semantics ).